Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 90.Ident. | Authors (with country if any) | Title |
---|---|---|
000105 | Stephane Demri [France] ; Didier Galmiche [France] ; Dominique Larchey-Wendling [France] ; Daniel Mery [France] | Separation Logic with One Quantified Variable |
000677 | Didier Galmiche [France] ; Yakoub Salhi [France] | Tree-sequent calculi and decision procedures for intuitionistic modal logics |
000726 | Jean-René Courtault [France] ; Hans Van Ditmarsch [France] ; Didier Galmiche [France] | An Epistemic Separation Logic |
000735 | Jean-René Courtault [France] ; Didier Galmiche [France] | A Modal Separation Logic for Resource Dynamics |
000789 | Didier Galmiche [France] ; David Pym [Royaume-Uni] | Special Issue on Logics for Resources, Processes, and Programs of Journal of Logic and Computation |
000966 | Dominique Larchey-Wendling [France] ; Didier Galmiche [France] | Looking at Separation Algebras with Boolean BI-eyes |
000B15 | Didier Galmiche [France] ; Stéphane Graham-Lengrand [France] | Special issue on computational logic in honour of Roy Dyckhoff. Journal of Logic and Computation. |
000B16 | Stephane Demri [France] ; Didier Galmiche [France] ; Dominique Larchey-Wendling [France] ; Daniel Mery [France] | Separation Logic with One Quantified Variable |
000E60 | Didier Galmiche [France] ; Stéphane Graham-Lengrand [France] | Special Issue on Computational Logic ( in honor to Roy Dyckhoff) of Journal of Logic and Computation |
000E88 | Philippe Balbiani [France] ; Vincent Demange [France] ; Didier Galmiche [France] | A sequent calculus with labels for Public Announcement Logic |
001321 | Dominique Larchey-Wendling [France] ; Didier Galmiche [France] | Nondeterministic Phase Semantics and the Undecidability of Boolean BI |
001674 | Didier Galmiche [France] ; Daniel Méry [France] | A Connection-based Characterization of Bi-intuitionistic Validity |
001765 | Jean-René Courtault [France] ; Didier Galmiche [France] ; Daniel Méry [France] | An Interactive Prover for Bi-intuitionistic Logic |
001788 | Jean-René Courtault [France] ; Didier Galmiche [France] | A Modal Extension of Boolean BI for Resource Transformations |
001789 | Jean-René Courtault [France] ; Didier Galmiche [France] | A Modal BI Logic for Dynamic Resource Properties |
001790 | Didier Galmiche [France] ; Dominique Larchey-Wendling [France] | 22nd Int. Conference on Automated Reasoning with Analytic Tableaux and Related Methods |
001C24 | Jack Copeland [France] ; Didier Galmiche [France] ; Dominique Larchey-Wendling [France] ; Joseph Vidal-Rosset [France] | Alan Turing |
001F14 | Jack Copeland ; Didier Galmiche [France] ; Dominique Larchey-Wendling [France] ; Joseph Vidal-Rosset [France] | Special issue of Philosophia Scientiae - Alan Turing |
002209 | Didier Galmiche [France] ; Daniel Mery [France] | A Connection-based Characterization of Bi-intuitionistic Validity |
002407 | Didier Galmiche [France] ; Daniel Mery [France] | Characterization of bi-intuitionistic validity through resource games |
002793 | Didier Galmiche [France] ; Daniel Méry [France] | A Connection-Based Characterization of Bi-intuitionistic Validity |
002B80 | Dominique Larchey-Wendling [France] ; Didier Galmiche [France] | The Undecidability of Boolean BI through Phase Semantics |
002E86 | Didier Galmiche [France] ; Yakoub Salhi [France] | Label-free Natural Deduction Systems for Intuitionistic and Classical Modal Logics |
002F19 | Didier Galmiche [France] ; Yakoub Salhi [France] | A Family of Gödel Hybrid Logics |
003061 | Didier Galmiche [France] ; Yakoub Salhi [France] | Label-Free Proof Systems for Intuitionistic Modal Logic IS5 |
003222 | Didier Galmiche [France] ; Dominique Larchey-Wendling [France] ; Joseph Vidal-Rosset [France] | Some Remarks on Relations between Proofs and Games |
003570 | Dominique Larchey-Wendling [France] ; Didier Galmiche [France] | Exploring the relation between intuitionistic bi and boolean bi: An unexpected embedding |
003812 | Didier Galmiche [France] ; Daniel Méry [France] | Tableaux and Resource Graphs for Separation Logic |
003F21 | Didier Galmiche [France] ; Yakoub Salhi [France] | Labelled Calculi for Lukasiewicz Logics |
003F44 | Didier Galmiche [France] ; Yakoub Salhi [France] | Calculi for an Intuitionistic Hybrid Modal Logic |
004529 | Didier Galmiche [France] | Resource Trees: Models and Separation Logic |
004804 | Didier Galmiche [France] ; Dominique Larchey-Wendling [France] ; Yakoub Salhi [France] | Provability and Countermodels in Gödel-Dummett Logics |
004806 | Didier Galmiche [France] ; Daniel Mery [France] | Connection-based proof search in intuitionistic logic from transitive closure of constraints |
004B91 | Didier Galmiche [France] | REVIEWS |
005196 | Didier Galmiche [France] | BI Logic, Resource Models and Proofs |
005483 | Didier Galmiche [France] ; Dominique Larchey-Wendling [France] | Expressivity Properties of Boolean BI Through Relational Models |
005C30 | Didier Galmiche [France] ; Daniel Mery [France] | Resource Graphs and Countermodels in Resource Logics |
006291 | Didier Galmiche [France] ; Daniel Méry [France] | Characterizing Provability in BI ’s Pointer Logic Through Resource Graphs |
006472 | Didier Galmiche [France] ; Nicolas Biri [France] | Resource Trees and XML Data Transformations - abstract |
006517 | Didier Galmiche [France] ; Estelle Dumoulin [France] | Labelled Structures and Provability in Resource Logics - extended abstract |
006547 | Didier Galmiche [France] ; Daniel Mery [France] | Characterizing Provability in BI's Pointer Logic through Resource Graphs |
006E99 | Nicolas Biri [France] ; Didier Galmiche [France] | Resource Tree and Logics for Distribution - abstract |
006F00 | Didier Galmiche [France] ; Daniel Méry [France] | Resource Graphs and Countermodels in Resource Logics |
006F09 | Didier Galmiche [France] ; Julien Gobillot [France] ; Daniel Méry [France] | Proofs and countermodels in BI's pointer logic |
006F63 | Didier Galmiche [France] ; Peter O'Hearn ; David Pym | Logics for Resources, Processes and Programs |
007456 | Didier Galmiche [France] ; Jean-Marc Notin [France] | Connection-based proof construction in Non-Commutative Logic |
007465 | Nicolas Biri [France] ; Didier Galmiche [France] | A Separation Logic for Resource Distribution |
007B10 | Nicolas Biri [France] ; Didier Galmiche [France] | A Separation Logic for Resource Distribution |
007D56 | Didier Galmiche [France] | Resource Models and Proofs in Bunched Implications Logic |
008750 | Didier Galmiche [France] ; Daniel Méry [France] ; David Pym [Royaume-Uni] | Resource Tableaux |
008823 | Didier Galmiche [France] ; Daniel Méry [France] | Connection-Based Proof Search in Propositional BI Logic |
008895 | Didier Galmiche [France] ; Daniel Mery [France] ; David Pym [Royaume-Uni] | Resource tableaux |
008965 | Didier Galmiche [France] ; Daniel Méry [France] ; David Pym | Resource Tableaux (extended abstract) |
008A76 | Didier Galmiche [France] | Resources, Labels and Proofs |
008B19 | Luc Habert [France] ; Jean-Marc Notin [France] ; Didier Galmiche [France] | LINK: a Proof Environment based on Proof nets |
008B61 | Didier Galmiche [France] ; Daniel Méry [France] | Connection-based proof search in propositional BI logic |
008C07 | Nicolas Biri [France] ; Didier Galmiche [France] | A Modal Linear Logic for Distribution and Mobility - extended abstract - |
008E11 | Didier Galmiche [France] ; Jean-Marie Notin [France] | Proof-search and Proof nets in Mixed Linear Logic |
009291 | D. Larchey-Wendling [France] ; D. Méry [France] ; Didier Galmiche [France] | STRIP: Structural Sharing for Efficient Proof-Search |
009306 | Didier Galmiche [France] ; Daniel Méry [France] | Proof-Search and Countermodel Generation in Propositional BI Logic |
009582 | Dominique Larchey-Wendling [France] ; Daniel Mery [France] ; Didier Galmiche [France] | STRIP: Structural Sharing for Efficient Proof-search |
009599 | Didier Galmiche [France] ; Daniel Méry [France] | Proof-search and countermodel generation in propositional BI Logic - extended abstract - |
009672 | Didier Galmiche [France] | Connection Methods in Linear Logic and Proof Nets Construction Generation in Mixed Logics |
009680 | Didier Galmiche [France] ; Jean-Marc Notin [France] | Calculi with dependency relations for Mixed Linear Logic |
009940 | Didier Galmiche [France] ; Dominique Larchey-Wendling [France] | Quantales as completions of ordered monoids: revised semantics for Intuitionistic Linear Logic |
009D18 | Didier Galmiche [France] ; David J. Pym [Royaume-Uni] | Proof-search in type-theoretic languages: an introduction |
009D99 | Didier Galmiche [France] | Workshop: Type-Theoretic Languages: Proof-Search and Semantics |
009E73 | Vincent Balat [France] ; Didier Galmiche [France] | Labelled Proof Systems for Intuitionistic Provability |
00A109 | Didier Galmiche [France] | Workshop on Type-theoretic Languages: Proof-search and Semantics |
00A122 | Didier Galmiche [France] ; David Pym | Theoretical Computer Science - Special issue on Proof search in Type-theoretic Languages |
00A147 | Didier Galmiche [France] ; Dominique Larchey-Wendling [France] ; Daniel Méry [France] | STRIP: Structural sharing and intuitionistic proof-search |
00A150 | Didier Galmiche [France] ; Dominique Larchey-Wendling [France] | Resource models and proof-search in Intuitionistic Linear Logic |
00A159 | Didier Galmiche [France] ; Jean-Marc Notin [France] | Proof-search in mixed linear logic - extended abstract. |
00A193 | Didier Galmiche [France] ; Vincent Balat | Labelled Proof Systems for Intuitionistic Provability |
00A479 | Didier Galmiche [France] ; Giorgio Delzanno ; Maurizio Martelli | A Specification Logic for Concurrent Object-oriented Programming |
00AC22 | Didier Galmiche [France] ; Dominique Larchey-Wendling [France] | Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic |
00AC27 | Didier Galmiche [France] ; Jean-Paul Bahsoun ; José Luiz Fiadeiro | Special Issue on Proof Theory of Concurrent Object-Oriented Programming |
00AC29 | Didier Galmiche [France] | Some Issues about Proof Search in Linear Logic - abstract - |
00AC57 | Didier Galmiche [France] | Proof Plans and Proof Nets in Linear Logic -Abstract - |
00AD06 | Didier Galmiche [France] ; Dominique Larchey-Wendling [France] | From Ordered Monoids to Quantales and Petri Nets: Revised Semantics and Completeness Results in Intuitionistic Linear Logic |
00AE98 | Didier Galmiche [France] ; Dominique Larchey-Wendling | Provability in Intuitionistic Linear Logic from a New Interpretation on Petri nets - extended abstract - |
00AF04 | Didier Galmiche [France] | Connection proof search methods in Linear Logic and proof nets construction |
00B577 | Didier Galmiche [France] ; David Pym | Special Issue of Theoretical Computer Science (TCS) Proof-search in Type-theoretic Languages |
00B597 | Didier Galmiche [France] | Proof construction in linear logic and programming |
00B598 | Didier Galmiche [France] ; Vincent Balat [France] | Proof Systems for Intuitionistic Provability in Linear Logic |
00B646 | Didier Galmiche [France] ; Dominique Larchey-Wendling [France] | From ordered monoids to quantales and Petri nets: completeness results revisited in Intuitionistic Linear Logic |
00B648 | Didier Galmiche [France] ; Dominique Larchey-Wendling | Formulae-as-Resources Management for an Intuitionistic Theorem Prover |
00B713 | Didier Galmiche [France] ; Giorgio Delzanno ; Maurizio Martelli | A Specification Logic for Concurrent Object-Oriented Programming |
00D690 | Didier Galmiche [France] ; Guy Perrier [France] | Automated deduction in additive and multiplicative linear logic |
00D705 | Didier Galmiche [France] ; Guy Perrier [France] | A procedure for automatic proof nets construction |
This area was generated with Dilib version V0.6.33. |